0e0a1880e087e609c5be3968c23235e3752181be,modules/wyil/src/wyil/util/interpreter/Interpreter.java,Interpreter,executeQuantifier,#number#Bytecode.Quantifier#Constant[]#Context.Operand#,536

Before Change


		} else {
			Bytecode.Range range = ranges[index];
			Constant.Integer start = checkType(executeSingle(range.startOperand(),frame,context),context,Constant.Integer.class);
			Constant.Integer end = checkType(executeSingle(range.endOperand(),frame,context),context,Constant.Integer.class);
			int var = range.variable();
			long s = start.value().longValue();
			long e = end.value().longValue();

After Change


		} else {
			Bytecode.Range range = ranges[index];
			Constant.Integer start = executeSingle(INT_T,range.startOperand(),frame,context);
			Constant.Integer end = executeSingle(INT_T,range.endOperand(),frame,context);
			int var = range.variable();
			long s = start.value().longValue();
			long e = end.value().longValue();